-
-
Notifications
You must be signed in to change notification settings - Fork 544
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Independence posets #37601
base: develop
Are you sure you want to change the base?
Independence posets #37601
Conversation
Still some more cleanup to do (e.g., Relevant paper: https://arxiv.org/abs/1805.00815 |
yes, absolutely not ready, and parts of that are already in sage, for instance |
cd0a5b6
to
18dcd4d
Compare
Documentation preview for this PR (built with commit 43d97fc; changes) is ready! 🎉 |
There is a lint error |
e22eb6b
to
2870759
Compare
there are still some one-line descriptions missing. Also one may like to have more explicit function names |
0f14f55
to
442a6b0
Compare
this is from #33659, with clean-up.
Note : related code can be found in https://github.com/haruhisa-enomoto/tors-lattice
📝 Checklist